12

Formalizing Complex Event Processing Systems in Maude

Année:
2018
Langue:
english
Fichier:
PDF, 704 KB
english, 2018
32

Specifying quantities in software models

Année:
2019
Langue:
english
Fichier:
PDF, 2.57 MB
english, 2019